Thomas Kropf：在 Z-Library 上搜索

您通往知識和文化的門戶。每個人都可以使用。

Don't use scam websites

已應用篩選

精確匹配

精確匹配

圖書 (9)
最受歡迎
- 排序方式×
- 最受歡迎
- 最佳匹配
- 最近添加的
- 按標題 (A-Z)
- 按標題 (Z-A)
- 按年
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

1

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)

年:

1999

語言:

english

文件:

PDF, 3.53 MB

0 / 0

english, 1999

2

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)

年:

1999

語言:

english

文件:

PDF, 3.24 MB

0 / 0

english, 1999

3

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Gérard Berry (auth.), Laurence Pierre, Thomas Kropf (eds.)

年:

1999

語言:

english

文件:

PDF, 4.53 MB

0 / 0

english, 1999

4

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Gérard Berry (auth.), Laurence Pierre, Thomas Kropf (eds.)

年:

1999

語言:

english

文件:

PDF, 4.67 MB

0 / 0

english, 1999

5

Kommunikative Funktionen des Dialekts im Unterricht: Theorie und Praxis in der deutschen Schweiz

Kommunikative Funktionen des Dialekts im Unterricht: Theorie und Praxis in der deutschen Schweiz

Max Niemeyer Verlag

年:

1986

語言:

german

文件:

PDF, 13.78 MB

0 / 0

german, 1986

6

Introduction to Formal Hardware Verification

Introduction to Formal Hardware Verification

Springer-Verlag Berlin Heidelberg

Dr. Thomas Kropf (auth.)

年:

1999

語言:

english

文件:

PDF, 6.27 MB

0 / 0

english, 1999

7

Formal Hardware Verification: Methods and Systems in Comparison

Formal Hardware Verification: Methods and Systems in Comparison

Springer-Verlag Berlin Heidelberg

Scott Hazelhurst, Carl-Johan H. Seger (auth.), Thomas Kropf (eds.)

年:

1997

語言:

english

文件:

DJVU, 3.14 MB

0 / 3.0

english, 1997

8

Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings

Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Kropf (auth.), Ramayya Kumar, Thomas Kropf (eds.)

年:

1995

語言:

english

文件:

DJVU, 3.04 MB

0 / 0

english, 1995

9

Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings

Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Kropf (auth.), Ramayya Kumar, Thomas Kropf (eds.)

年:

1995

語言:

english

文件:

PDF, 4.57 MB

0 / 0

english, 1995